$\forall$$A$:Type, $P$:($A$$\rightarrow\mathbb{B}$), $L$:$A$ List. $\parallel$filter($P$;$L$)$\parallel$ $=$ count($P$;$L$) $\in$ $\mathbb{N}$